Implementing Smooth Projective Hash Functions Advisor(s): David Derler, Daniel Slamanig Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria

Source URL: www.iaik.tugraz.at

Noname manuscript No. (will be inserted by the editor) A Learning-Based Fact Selector for Isabelle/HOL Jasmin Christian Blanchette · David Greenaway · Cezary Kaliszyk · Daniel Kühlwein · Josef Urban

Source URL: people.mpi-inf.mpg.de

REACTION DYNAMICS Spectroscopic observation of resonances in the F + H2 reaction Jongjin B. Kim,1* Marissa L. Weichman,1 Tobias F. Sjolander,1 Daniel M. Neumark,1,2† Jacek Kłos,3 Millard H. Alexander,3,4† David E.

Source URL: bromine.cchem.berkeley.edu

Ultraviolet photodissociation of the HCCO radical studied by fast radical beam photofragment translational spectroscopy David H. Mordaunt, David L. Osborn, Hyeon Choi, Ryan T. Bise, and Daniel M. Neumark Department of Ch

Source URL: bromine.cchem.berkeley.edu

COMPUTATIONAL HARMONIC ANALYSIS FOR TENSOR FIELDS ON THE TWO-SPHERE PETER KOSTELEC, DAVID K. MASLEN, DANIEL N. ROCKMORE, AND DENNIS HEALY, JR. Abstract. In this paper we describe algorithms for the numerical computation

Source URL: www.cs.dartmouth.edu

Incorporating Ecological Drivers and Uncertainty into a Demographic Population Viability Analysis for the Island Fox Author(s): Victoria J. Bakker, Daniel F. Doak, Gary W. Roemer, David K. Garcelon, Timothy J. Coonan, Sc

Source URL: doaklab.org

Scaling Memcache at Facebook Rajesh Nishtala, Hans Fugal, Steven Grimm, Marc Kwiatkowski, Herman Lee, Harry C. Li, Ryan McElroy, Mike Paleczny, Daniel Peek, Paul Saab, David Stafford, Tony Tung, Venkateshwaran Venkataram

Source URL: nil.csail.mit.edu

• Computing
• Data management
• Software
• Cross-platform software
• Structured storage
• Database caching
• Memcached
• MySQL
• Transaction processing
• MemcacheDB
• Scalability
• Consistency model

International Journal of Computer Vision The original publication is available at www.springerlink.com. Learning Articulated Structure and Motion David A. Ross · Daniel Tarlow · Richard S. Zemel

Source URL: www.cs.toronto.edu

• Computer vision
• Artificial intelligence
• Physics
• Dynamical systems
• Mechanics
• 3D computer graphics
• Robot control
• Computer animation
• Structure from motion
• Kinematics
• Bundle adjustment
• Kalman filter

Implementing the Groth-Sahai Proof System Advisor(s): David Derler, Daniel Slamanig Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria

Source URL: www.iaik.tugraz.at

• Cryptography
• Mathematical proof

Atomically Thin Ohmic Edge Contacts Between Two-Dimensional Materials Marcos H. D. Guimaraẽ s,†,‡,⊥ Hui Gao,⊥,§ Yimo Han,∥ Kibum Kang,§ Saien Xie,∥ Cheol-Joo Kim,§ David A. Muller,†,∥ Daniel C. Ralph

Source URL: park.chem.cornell.edu

• Chemistry
• Matter
• Monolayers
• Nanomaterials
• Materials science
• Condensed matter physics
• Semiconductors
• Emerging technologies
• Graphene
• Potential applications of graphene
• Two dimensional semiconductor
• 2D materials